Herbrand theorem
英
美
海尔勃朗定理
双语例句
- A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中，海尔勃朗基的成员也称为原子。 - The Herbrand's Theorem given in [ 1] requires that T should be a theory without any nonlogical axioms.
文献[1]所述的Herbrand定理，要求T是一个没有非逻辑公理的理论。 - As two examples, we present the Skolem standard form theorem and the Herbrand theorem of ME.
作为两个实例，本文给出了ME~上的Skolem范式定理及Herbrand定理。 - The theory foundation of machanical the-orem proving is the Herbrand theorem, refutation and a conjunctive normal form theorem.
Herbrand定理和范式定理是机器证明的理论基础。